面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于随机维纳过程的航空发动机性能衰退研究

针对发动机下发间隔预测的问题，研究了发动机性能衰退规律。基于发动机排气温度裕度（EGTM）数据，建立了随机维纳模型，并使用严酷度因子修正模型，表征不同的工作条件对发动机的影响。利用期望最大化（EM）算法结合贝叶斯定理，对模型参数求解，最终得到了基于性能衰退的发动机平均下发间隔。研究结果表明，在严酷度因子为1.2696的使用条件下，某型号航空发动机性能衰退平均下发间隔为8219循环；基于该模型预测的发动机平均下发间隔与厂商建议的下发时间之间的误差仅为1.7%。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

提高压电式直线电机推力新技术

介绍了蠕动式、脉冲式、行波式及表面波式等几种压电直线电机的改进措施和进展情况，其中微脊式蠕动直线电机和表面波直线电机极有可能成为今后压电直线电机的商品化市场的新产品方向。     

超声波激振刀具镗孔机制及试验研究

介绍了超声波激振刀具镗孔的切削机制 ,研究了切削参数对表面粗糙度、圆度的影响规律 ,并考查了加工表面的冷作硬化程度。     

基于分数阶Fourier域滤波的SAR多运动目标检测和参数估计

SAR多运动目标的检测和参数估计较单运动目标的难度大大增加,传统的WVD方法在处理多分量线性 调频信号时存在交叉项干扰的问题,改进的WVD-HT方法可减弱交叉项的影响,但并不能从根本上解决交叉项问题, 同时计算量也很大。文中提出一种基于分数阶Fourier域滤波的多运动目标检测和参数估计方法,在运动目标和静止目 标信号分离后通过逐个消去强目标信号,有效地解决了弱目标信号的检测和参数估计问题,由于分数阶Fourier变换是 线性变换,从而免除了交叉项的困扰。仿真和实测数据的处理结果验证了算法的有效性。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

红外隐身材料的研究进展

红外探测器的高度发展已使用于目标表面的热红外隐身材料成为飞行器隐身技术中的一个重要组成部分。但对这种材料的发展情况,以往的文献一向较少涉及。本文概括了这种材料的一般性能要求,较全面地评述了十余年来红外隐身材料研究中各主要方面的发展情况,并分析了一些重要材料品种的特点、性能水平、技术影响因素、存在的问题和发展趋势。     

噪声调幅干扰信号波达方向估计研究

利用噪声调幅干扰信号频谱结构的特殊性,提出基于阵列接收信号载频处频域数据的波达方向估计算法,通过仿真分析表明该算法的角度估计性能明显高于目前广泛采用的比幅比相单脉冲测角法,并且计算量也大大低于传统的波达方向估计算法.